Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning
نویسندگان
چکیده
Pruning techniques based on partial order reduction and symmetry elimination have recently found increasing attention for optimal planning. Although these techniques appear to be rather different, they base their pruning decisions on similar ideas from a high level perspective. In this paper, we propose safe integrations of partial order reduction and symmetry elimination for cost-optimal classical planning. We show that previously proposed symmetrybased search algorithms can safely be applied with strong stubborn sets. In addition, we derive the notion of symmetrical strong stubborn sets as a more tightly integrated concept. Our experiments show the potential of our approaches.
منابع مشابه
λ-Symmetry method and the Prelle-Singer method for third-order differential equations
In this paper, we will obtain first integral, integrating factor and λ-symmetry of third-order ODEs u ⃛=F(x,u,u ̇,u ̈). Also we compare Prelle -Singer (PS) method and λ-symmetry method for third-order differential equations.In this paper, we will obtain first integral, integrating factor and λ-symmetry of third-order ODEs u ⃛=F(x,u,u ̇,u ̈). Also we compare Prelle -Singer (PS) method and λ-symmetry m...
متن کاملDistributed Heuristic Forward Search for Multi-agent Planning
This paper deals with the problem of classical planning for multiple cooperative agents who have private information about their local state and capabilities they do not want to reveal. Two main approaches have recently been proposed to solve this type of problem – one is based on reduction to distributed constraint satisfaction, and the other on partial-order planning techniques. In classical ...
متن کاملIn Search of Tractability for Partial Satisfaction Planning
The objective of partial satisfaction planning is to achieve an as valuable as possible state, tacking into account the cost of its achievement. In this work we investigate the computational complexity of restricted fragments of two variants of partial satisfaction: net-benefit and oversubscription planning. In particular, we examine restrictions on the causal graph structure and variable domai...
متن کاملOptimal Control Problems with Symmetry Breaking Cost Functions
Abstract. We investigate symmetry reduction of optimal control problems for left-invariant control systems on Lie groups, with partial symmetry breaking cost functions. Our approach emphasizes the role of variational principles and considers a discrete-time setting as well as the standard continuous-time formulation. Specifically, we recast the optimal control problem as a constrained variation...
متن کاملInventory Model for Non – Instantaneous Deteriorating Items, Stock Dependent Demand, Partial Backlogging, and Inflation over a Finite Time Horizon
In the present study, the Economic Order Quantity (EOQ) model of two-warehouse deals with non-instantaneous deteriorating items, the demand rate considered as stock dependent and model affected by inflation under the pattern of time value of money over a finite planning horizon. Shortages are allowed and partially backordered depending on the waiting time for the next replenishment. The main ob...
متن کامل